Abstraction and reformulation in artificial intelligence
                    
                        
                            نویسندگان
                            
                            
                        
                        
                    
                    
                    چکیده
منابع مشابه
Abstraction and reformulation in artificial intelligence.
This paper contributes in two ways to the aims of this special issue on abstraction. The first is to show that there are compelling reasons motivating the use of abstraction in the purely computational realm of artificial intelligence. The second is to contribute to the overall discussion of the nature of abstraction by providing examples of the abstraction processes currently used in artificia...
متن کاملA grounded theory of abstraction in artificial intelligence.
In artificial intelligence, abstraction is commonly used to account for the use of various levels of details in a given representation language or the ability to change from one level to another while preserving useful properties. Abstraction has been mainly studied in problem solving, theorem proving, knowledge representation (in particular for spatial and temporal reasoning) and machine learn...
متن کاملArtificial Intelligence in Healthcare
The article is a letter to the editor, so it has no abstract.
متن کاملArtificial Intelligence in Healthcare
The article is a letter to the editor, so it has no abstract.
متن کاملThe Abstraction/Implementation Model of Problem Reformulation
ion Space The definition of an implementation link is as a representation map from an abstract theory to a concrete theory, wi th an abstraction function for mapping concrete objects to abstract objects. The diagram below shows an implementation link between bags and lists, where the abstract theory of bags and the concrete theories of lists are axiomatized using equational logic. Abstraction M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences
سال: 2003
ISSN: 0962-8436,1471-2970
DOI: 10.1098/rstb.2003.1317